41. Switching and finite automata theory
پدیدآورنده : / Zvi Kohavi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Sequential machine theory,Switching theory
رده :
629
.
891
K79
42. Switching & finite automata theory
پدیدآورنده : KOHAVI,ZVI
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY , SWITCHING THEORY
رده :
QA
267
.
5
.
S4
K64
1978
43. Switching theory for logic synthesis
پدیدآورنده : Sasao, Tsutomu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic design-- Data processing,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
.
S26
1999
44. Switching theory for logic synthesis
پدیدآورنده : Sasao,Tsutomu
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Data processing ، Logic design,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
S26
1999
45. Symposium on Switching and Automata Theory, 1st- 1960-
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory-- Congresses,، Sequential machine thoery-- Congresses,، Automata-- Congresses
رده :
QA
268
.
5
.
S9a
46. Systemes logiques
پدیدآورنده : par J.P. Perrin, M. Denouette [et] E. Daclin
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Sequential machine theory,Switching theory
رده :
QA
267
.
5
.
S4P4
47. Systems logiques
پدیدآورنده : PERRIN,JEAN PAUL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY , SWITCHING THEORY
رده :
QA
267
.
5
.
S4
P4
48. Techniques booleennes et calculateurs arithmetique
پدیدآورنده : Chinal, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
رده :
QA
401
.
C52
49. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
50. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
51. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
